Issue3338.agda:8,3-11,4
The following names are declared but not accompanied by a
definition: RI, foo
